бензоидные графы называются ката-конденсированными, если их характеристический граф есть дерево

Makarov: benzenoid graphs is called catacondensed if its characteristic graph is a tree